Transitive Closure Logic